Equational logic - PDFSEARCH.IO - Document Search Engine

Equational logic
Results: 22

#	Item
11	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
12	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
13	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
14	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
15	Information Processing ELSEVIER Letters Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:39:22 Propositional calculus Rules of inference Automated theorem proving Boolean algebra Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematical logic Mathematics
16	Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:14:58 Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic
17	RULE[removed]Order-sorted Equational Unification Revisited Joe Hendrix and José Meseguer1 Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2012-09-13 14:58:47 Unification Admissible rule Sorting algorithms Entailment Symbol Logic Automated theorem proving Logic programming
18	Declarative Debugging of Maude Modules∗ Adri´an Riesco, Alberto Verdejo, Rafael Caballero, and Narciso Mart´ı-Oliet Technical Report SIC-6-08 Departamento de Sistemas Inform´ aticos y Computaci´ on, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2009-01-14 12:08:17 Logic in computer science Software engineering Maude system Functional languages Formal languages Rewriting OBJ Debugging Equational logic Theoretical computer science Programming language theory Mathematical logic
19	Specifying, programming, and verifying in Maude Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Universidad Complutense de Madrid Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-09-19 11:08:13 Mathematical logic Universal algebra Model theory Functional languages Logic in computer science Unification Equational logic Signature Structure Theoretical computer science Mathematics Programming language theory
20	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic

UPDATE